(0 20 13)(1 18 16)(2 19 4)(3 7 5)(6 12 10)(8 17 14)(9 15 11)
ALLOWS (11/8)-SEQUENCE
1: (9 11 15)
(0 20 13)(1 18 16)(2 19 4)(3 7 5)(6 12 10)(8 17 14)(9 11 15)
2: (6 12 10)
(0 20 13)(1 18 16)(2 19 4)(3 7 5)(6)(8 17 14)(9 11 15)(10)(12)
3: (9 11 15)
(0 20 13)(1 18 16)(2 19 4)(3 7 5)(6)(8 17 14)(9)(10)(11)(12)(15)
4: (8 17 14)
(0 20 13)(1 18 16)(2 19 4)(3 7 5)(6)(8)(9)(10)(11)(12)(14)(15)(17)